1. Automated reasoning with analytic tableaux and related methods : Internaitonal Conference, TABLEAUX'97
پدیدآورنده: Didier Galmiche )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1227
2. Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 1997 : revised lectures
پدیدآورنده: Willem-Paul de Roever, Hans Langmaack, Amir Pnueli )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1536
